Decision P Systems and the P!=NP Conjecture
نویسندگان
چکیده
In this paper we present the model of decision P systems with external output and prove the following main result: if there exists an NP–complete problem that cannot be solved in polynomial time, with regard to the input length, by the deterministic variant of such P systems, constructed in polynomial time, then P 6= NP . From Zandron-FerretiMauri’s theorem it follows that if P 6= NP then no NP–complete problem can be solved in polynomial time, with regard to the input length, by a deterministic P system with active membranes but without membrane division, constructed in polynomial time from the input. Both results give a characterization of P 6= NP through the solvability by deterministic P systems.
منابع مشابه
On Silverman's conjecture for a family of elliptic curves
Let $E$ be an elliptic curve over $Bbb{Q}$ with the given Weierstrass equation $ y^2=x^3+ax+b$. If $D$ is a squarefree integer, then let $E^{(D)}$ denote the $D$-quadratic twist of $E$ that is given by $E^{(D)}: y^2=x^3+aD^2x+bD^3$. Let $E^{(D)}(Bbb{Q})$ be the group of $Bbb{Q}$-rational points of $E^{(D)}$. It is conjectured by J. Silverman that there are infinitely many primes $p$ for which $...
متن کاملSelf-Reducibility of Hard Counting Problems with Decision Version in P
Many NP-complete problems have counting versions which are #P-complete. On the other hand, #Perfect Matchings is also Cook-complete for #P, which is surprising as Perfect Matching is actually in P (which implies that #Perfect Matchings cannot be Karp-complete for #P). Here, we study the complexity class #PE (functions of #P with easy decision version). The inclusion #PE ⊆ #P is proper unless P ...
متن کاملOn hard instances
Instance complexity was introduced by Orponen, Ko, Schh oning, and Watanabe 14] as a measure of the complexity of individual instances of a decision problem. Comparing instance complexity to Kolmogorov complexity, they introduced the notion of p-hard instances, and conjectured that every set not in P has p-hard instances. Whereas this conjecture is still unsettled, Fortnow and Kummer 6] proved ...
متن کاملComplexity Classes as Mathematical Axioms
Complexity theory, being the metrical version of decision theory, has long been suspected of harboring undecidable statements among its most prominent conjectures. Taking this possibility seriously, we add one such conjecture, P 6= NP , as a new “axiom” and find that it has an implication in 3-dimensional topology. This is reminiscent of Harvey Friedman’s work on finitistic interpretations of l...
متن کامل$L^p$-Conjecture on Hypergroups
In this paper, we study $L^p$-conjecture on locally compact hypergroups and by some technical proofs we give some sufficient and necessary conditions for a weighted Lebesgue space $L^p(K,w)$ to be a convolution Banach algebra, where $1<p<infty$, $K$ is a locally compact hypergroup and $w$ is a weight function on $K$. Among the other things, we also show that if $K$ is a locally compact hyper...
متن کامل